Demorgan law